Sipma, Henny B.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Deductive verification of real-time systems using STeP

Nikolaj S. Bjørner, Zohar Manna, Henny B. Sipma, Tomás E. Uribe

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 351 KB

english, 2001

2

Checking Finite Traces using Alternating Automata

Bernd Finkbeiner, Henny Sipma

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 298 KB

english, 2001

3

Deductive verification of alternating systems

Matteo Slanina, Henny B. Sipma, Zohar Manna

Journal:

Formal Aspects of Computing

Year:

2008

Language:

english

File:

PDF, 1.82 MB

english, 2008

4

The ‘Cash-Point’ Service: A Verification Case Study Using STeP

Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma

Journal:

Formal Aspects of Computing

Year:

2000

Language:

english

File:

PDF, 45 KB

english, 2000

5

Collecting Statistics Over Runtime Executions

Bernd Finkbeiner, Sriram Sankaranarayanan, Henny B. Sipma

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 1.34 MB

english, 2005

6

Constructing invariants for hybrid systems

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna

Journal:

Formal Methods in System Design

Year:

2008

Language:

english

File:

PDF, 613 KB

english, 2008

7

Preface

Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny Sipma

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 54 KB

english, 2006

8

Collecting Statistics over Runtime Executions

Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 207 KB

english, 2002

9

Verifying Temporal Properties of Reactive Systems: A STeP Tutorial

Nikolaj S. Bjørner, Anca Browne, Michael A. Colón, Bernd Finkbeiner, Zohar Manna, Henny B. Sipma, Tomás E. Uribe

Journal:

Formal Methods in System Design

Year:

2000

Language:

english

File:

PDF, 254 KB

english, 2000

10

Deductive Model Checking

Henny B. Sipma, Tomás E. Uribe, Zohar Manna

Journal:

Formal Methods in System Design

Year:

1999

Language:

english

File:

PDF, 306 KB

english, 1999

11

Checking Finite Traces Using Alternating Automata

Bernd Finkbeiner, Henny Sipma

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 196 KB

english, 2004

12

Decision procedures for term algebras with integer constraints

Ting Zhang, Henny B. Sipma, Zohar Manna

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 569 KB

english, 2006

13

[IEEE 2007 IEEE International Parallel and Distributed Processing Symposium - Long Beach, CA, USA (2007.03.26-2007.03.30)] 2007 IEEE International Parallel and Distributed Processing Symposium - Generating Efficient Distributed Deadlock Avoidance Controllers

Sanchez, Cesar, Sipma, Henny B., Manna, Zohar

Year:

2007

Language:

english

File:

PDF, 218 KB

english, 2007

14

Non-linear loop invariant generation using Gröbner bases

Sankaranarayanan, Sriram, Sipma, Henny B., Manna, Zohar

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 152 KB

english, 2004

15

[ACM Press the 6th ACM & IEEE International conference - Seoul, Korea (2006.10.22-2006.10.25)] Proceedings of the 6th ACM & IEEE International conference on Embedded software - EMSOFT '06 - Efficient distributed deadlock avoidance with liveness guarantees

Sánchez, César, Sipma, Henny B., Manna, Zohar, Gill, Christopher D.

Year:

2006

Language:

english

File:

PDF, 235 KB

english, 2006

16

[ACM Press the 31st ACM SIGPLAN-SIGACT symposium - Venice, Italy (2004.01.14-2004.01.16)] Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04 - Non-linear loop invariant generation using Gröbner bases

Sankaranarayanan, Sriram, Sipma, Henny B., Manna, Zohar

Year:

2004

Language:

english

File:

PDF, 152 KB

english, 2004

17

[ACM Press the 6th ACM & IEEE International conference - Seoul, Korea (2006.10.22-2006.10.25)] Proceedings of the 6th ACM & IEEE International conference on Embedded software - EMSOFT '06 - Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems

Subramonian, Venkita, Gill, Christopher, Sánchez, César, Sipma, Henny B.

Year:

2006

Language:

english

File:

PDF, 239 KB

english, 2006